\begin{tabbing}
$\forall$$g$:IMonoid, $a$, $b$, $c$:$\mathbb{Z}$.
\\[0ex]($a$ $\leq$ $b$)
\\[0ex]$\Rightarrow$ ($b$ $\leq$ $c$)
\\[0ex]$\Rightarrow$ \=($\forall$$E$:(\{$a$..$c$$^{-}$\}$\rightarrow\mid$$g$$\mid$).\+
\\[0ex]$\Pi$($\ast$,e) $a$ $\leq$ $j$ $<$ $c$. $E$($j$) = ($\Pi$($\ast$,e) $a$ $\leq$ $j$ $<$ $b$. $E$($j$) $\ast$ $\Pi$($\ast$,e) $b$ $\leq$ $j$ $<$ $c$. $E$($j$)) $\in$ $\mid$$g$$\mid$)
\-
\end{tabbing}